1-Sum[(1/1000)^x binomial(10000, x) (1-1/1000)^(10000-x),{x,0,12}]